Geometric Constraint Solving and Automated Geometric Reasoning (TRACK PROPOSAL TO SAC 2006, DIJON, FRANCE)

We propose to organize at SAC 2006 a track dedicated to the recent trends in the domain of geometric constraint solving (GCS) and automated, or computer aided, deduction in geometry (ADG). Geometric problems are within the heart of many theoretical studies and engineering applications. For instance a large amount of problems from geometric modeling, computer graphics, computer vision, computer aided design, and robotics could be reduced to either geometric constraint solving or geometric reasoning. Conversely, a wide range of methods based on very different approaches have been studied for solving geometric constraints and proving geometric theorems. This track will be an interesting opportunity to gather researchers coming from communities concerned by subjects as different as constraint programming, numeric analysis, symbolic computation, CAD, automated reasoning, and computer graphics. CR Categories: G.1.5 [Mathematics of Computing]: Numerical Analysis—Roots of Nonlinear Equation; G.4 [Mathematics of Computing]: Mathematical Software—; I.2.3 [Computing Methodologies]: Artificial Intelligence—Deduction and Theorem Proving; I.3.5 [Computing Methodologies]: Computer Graphics—Computational Geometry and Object Modeling; J.6.0 [Computer Application]: Computer-aided Engineering— Computer-aided Design (CAD); K.3.1 [Computing Milieux]: Computers and Education—Computer Uses in Education Computerassisted instruction (CAI);